Gabriele Puppis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Compact and tractable automaton-based representations of time granularities

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 788 KB

english, 2007

2

On the relationships between theories of time granularity and the monadic second-order theory of one successor

Montanari, Angelo, Peron, Adriano, Puppis, Gabriele

Journal:

Journal of Applied Non-Classical Logics

Year:

2006

Language:

english

File:

PDF, 238 KB

english, 2006

3

Bounded Repairability for Regular Tree Languages

Bourhis, Pierre, Puppis, Gabriele, Riveros, Cristian, Staworko, Sławek

Journal:

ACM Transactions on Database Systems

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

4

A theory of ultimately periodic languages and automata with an application to time granularity

Davide Bresolin, Angelo Montanari, Gabriele Puppis

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 580 KB

english, 2009

5

Redox regulation of caffeine contractures

M. Gábriel, A. Puppi, I. T. Szabó, M. Dely

Journal:

Journal of Experimental Zoology Part A Ecological Genetics and Physiology

Year:

1985

Language:

english

File:

PDF, 256 KB

english, 1985

6

Bounded repairability of word languages

Benedikt, Michael, Puppis, Gabriele, Riveros, Cristian

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 408 KB

english, 2013

7

Erratum to: IPHEN—a real-time network for phenological monitoring and modelling in Italy

Mariani, Luigi, Alilla, Roberta, Cola, Gabriele, Monte, Giovanni Dal, Epifani, Chiara, Puppi, Giovanna, Failla, Osvaldo

Journal:

International Journal of Biometeorology

Year:

2014

File:

PDF, 57 KB

2014

8

The per-character cost of repairing word languages

Benedikt, Michael, Puppis, Gabriele, Riveros, Cristian

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

9

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - A Contraction Method to Decide MSO Theories of Deterministic Trees

Montanari, Angelo, Puppis, Gabriele

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

10

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Regular Repair of Specifications

Benedikt, Michael, Puppis, Gabriele, Riveros, Cristian

Year:

2011

Language:

english

File:

PDF, 231 KB

english, 2011

11

[IEEE 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - Alicante, Spain (2007.06.28-2007.06.30)] 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - On the Equivalence of Automaton-Based Representations of Time Granularities

Lago, Ugo Dal, Montanari, Angelo, Puppis, Gabriele

Year:

2007

Language:

english

File:

PDF, 230 KB

english, 2007

12

Walking on Data Words

Manuel, Amaldev, Muscholl, Anca, Puppis, Gabriele

Journal:

Theory of Computing Systems

Year:

2016

Language:

english

File:

PDF, 1.17 MB

english, 2016

13

Which XML Schemas are Streaming Bounded Repairable?

Bourhis, Pierre, Puppis, Gabriele, Riveros, Cristian

Journal:

Theory of Computing Systems

Year:

2015

Language:

english

File:

PDF, 2.17 MB

english, 2015

14

The complexity of higher-order queries

Benedikt, Michael, Puppis, Gabriele, Vu, Huy

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 632 KB

english, 2015

15

[ACM Press the 16th International Conference - Genoa, Italy (2013.03.18-2013.03.22)] Proceedings of the 16th International Conference on Database Theory - ICDT '13 - Which DTDs are streaming bounded repairable?

Bourhis, Pierre, Puppis, Gabriele, Riveros, Cristian

Year:

2013

Language:

english

File:

PDF, 300 KB

english, 2013

16

[ACM Press the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium - Indianapolis, Indiana, USA (2010.06.06-2010.06.11)] Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems of data - PODS '10 - Positive higher-order queries

Benedikt, Michael, Puppis, Gabriele, Vu, Huy

Year:

2010

Language:

english

File:

PDF, 641 KB

english, 2010

17

[ACM Press the 15th International Conference - Berlin, Germany (2012.03.26-2012.03.29)] Proceedings of the 15th International Conference on Database Theory - ICDT '12 - Bounded repairability for regular tree languages

Puppis, Gabriele, Riveros, Cristian, Staworko, Sławek

Year:

2012

Language:

english

File:

PDF, 538 KB

english, 2012

18

Games, Automata, Logics, and Formal Verification (GandALF 2013)

Montanari, Angelo, Puppis, Gabriele, Villa, Tiziano

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 145 KB

english, 2015

19

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Untwisting two-way transducers in elementary time

Baschenis, Felix, Gauwin, Olivier, Muscholl, Anca, Puppis, Gabriele

Year:

2017

Language:

english

File:

PDF, 433 KB

english, 2017

20

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Querying Visible and Invisible Information

Benedikt, Michael, Bourhis, Pierre, ten Cate, Balder, Puppis, Gabriele

Year:

2016

Language:

english

File:

PDF, 184 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски